Nuclear archaeology: Verifying declarations of fissile‐material production
نویسندگان
چکیده
منابع مشابه
Verifying Partial Correctness of Logic Programs with Delay Declarations
In this paper we propose a method for verifying partial correctness of logic programs with delay declarations. The method is based on the notion of specialised derivation. It diiers from the deenition of SLD-derivation since more instantiated general uniiers are computed instead of standard mgus. The contribution of this paper follows from the observation that the derivations of logic programs ...
متن کاملVerifying Nuclear Disarmament
Commentators differ on whether nuclear disarmament would be desirable, but many argue that disarmament is impractical because it could not be verified. Three reasons are often offered for such pessimism. First, nuclear weapons are small and difficult to detect, and one could not be sure that a few weapons had not been hidden away. Second, nuclear weapons are so destructive that a mere handful w...
متن کاملNuclear Archaeology for Gaseous Diffusion Enrichment Plants
The field of nuclear archaeology aims to develop the methods and tools to verify past production of fissile materials for military purposes, which may become necessary to support the verification of future arms control agreements that envision deeper cuts in the nuclear arsenals. Techniques have been successfully demonstrated for reconstructing historic plutonium production, especially in graph...
متن کاملDeclarations
continents convened in Abu Dhabi, U.A.E between October 21–23 2013 at the First international conference on waterpipe tobacco smoking to review the evidence and recommend actions to curb the waterpipe tobacco pandemic. A declaration was issued on October 23, 2013. In Building on the Declaration of the 1st Conference adopted in Abu Dhabi, a second declaration was issued following the 2nd Confere...
متن کاملVerifying Termination and Error-Freedom of Logic Programs with block Declarations
We present verification methods for logic programs with delay declarations. The verified properties are termination and freedom from errors related to built-ins. Concerning termination, we present two approaches. The first approach tries to eliminate the well-known problem of speculative output bindings. The second approach is based on identifying the predicates for which the textual position o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science & Global Security
سال: 1993
ISSN: 0892-9882,1547-7800
DOI: 10.1080/08929889308426386